- 双语例句 更多例句
1、
2、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
3、
给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；
互联网摘选
4、
他在数理语言学 、 逻辑语义学 、 转换 - 生成语法、 非 转换 - 生成语法等研究领域颇有建树.
互联网摘选
5、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
- 相关词组
- verb semantics动词语义学;
- final semantics[计]最终语义学;
- logic semantics[计]逻辑语义学;
- formal semantics形式语义学[程序];
- body semantics体态语义学；手势语义学;
- lexical semantics词汇语义学;
- general semantics普通语义;
- abstract semantics[计]抽象语义学;
- dynamic semantics[计]动态语义学;
- fault semantics[计]故障语义学;
- mathematical ability数学能力;
- data semantics[计]数据语义学;
- query semantics[计]查询语义学;
- world semantics[计] 世界语义学;
- trace semantics[计]轨迹语义学;
- tree semantics[计]树状语义学;
- semantics of data[计] 数据语义学;
- program semantics程序语义学;
- mathematical formula[医] 数学公式;
- fixpoint semantics[计]定点语义学;
- 今日热词
- 热门搜索
- classmate n.同班同学;
- miss n.(称呼不知姓名的年轻女子)小姐;(用于未婚女子姓氏或姓名前，以示礼貌)小姐，女士;少女;未击中v.错过;不在;思念;迟到;未达到;避开（不愉快的事）;不懂;未击中;不做;不理解;未得到;未觉察;未见到;未听到;发觉丢失
- public n.平民;志趣相投的人;adj.公众的;公共的;政府的;公用的;公开的;公开场合的;;
- squid n.乌贼，墨鱼;鱿鱼;
- 5-htp 5-羟色胺;5羟色氨酸
- kill me heal me 杀了我治愈我
- weekday n.工作日;
- CCTV n.中央电视台;中国中央电视台（China Central Television）;闭路电视（Closed Circuit Television）；
- army n.军队;陆军;团体;野战军;
- mistake n.错误;错事;v.搞错;认错;
- Burberry n.博柏利;巴宝利雨衣; 巴宝莉；博柏利；巴宝丽
- Russia n.(1917年以前的)俄罗斯帝国;现俄罗斯;俄罗斯联邦;
